Proof Assistants – alle Bücher, Blu-ray Discs und DVDs

Ihre Suche nach "Proof Assistants" ergab 5 Treffer

Die Erfindung des Verderbens (Blu-ray)

Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

Artikel am Lager

EUR 28,99**

Blu-ray Disc

EUR 26,99*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Die Erfindung des Verderbens

Der Wissenschaftler Prof. Roch erfindet einen Explosivstoff mit ungeheuerlicher Sprengkraft. Er kann mit diesem Sprengstoff Kohle und Erdöl ersetzten, er kann jedoch auch die ganze Welt vernichten. Der Pi…

lieferbar innerhalb 1-2 Wochen

DVD

EUR 20,99*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Intelligent Computer Mathematics

Lecture Notes in Artificial Intelligence -Band 14960

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5 9, 2024. The 21 full …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

The French School of Programming

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors inc…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Logics and Type Systems in Theory and Practice

Lecture Notes in Computer Science -Band 14560

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb